A statement or proposition that expresses a condition or relationship in a formal system.

एक कथन या प्रस्ताव जो एक औपचारिक प्रणाली में एक स्थिति या संबंध को व्यक्त करता है।

English Usage: In computer science, a technical predicate can define the logic of a program.

Hindi Usage: कंप्यूटर विज्ञान में, एक तकनीकी पूर्वगामी एक कार्यक्रम की लॉजिक को परिभाषित कर सकता है।